Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
11	Randomization, random walks, derandomization, expansion April 12, L´ aszl´ o Babai. Monte Carlo algorithms in graph isomorphism testing. Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-12 08:04:57 Theoretical computer science Lance Fortnow Probabilistic complexity theory Carsten Lund Computer science IP BPP Probabilistically checkable proof Symposium on Foundations of Computer Science Mathematics
12	FallMATH 109P Foundations of Mathematics II OVERVIEW OF COURSE Add to Reading List Source URL: www.math.niu.edu Language: English - Date: 2016-06-07 15:51:22 Academic transfer Education Knowledge Euthenics Education reform Grading systems by country Course credit SAT ACT
13	Foundations of Programming for High Performance Computing: CS2101UWO, November, 5, Student name: Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2014-09-18 01:00:30 Algebra Mathematics Linear algebra Matrix theory Parallel computing Cache Computer memory Cache memory Data parallelism Matrix Exponentiation Trace
14	Microsoft Word - Spring_09v FINAL.doc Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-09-07 11:01:16 Mathematics Mathematics education Algebra Arithmetic Foundations of mathematics Elementary mathematics Standard algorithms Multiplication Emmy Noether Division Addition Principles and Standards for School Mathematics
15	239 Documenta Math. Ronald Graham: Laying the Foundations of Online Optimization Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2012-07-25 10:25:05 Scheduling Operations research Mathematics Applied mathematics Computer science Makespan Online algorithm Job Competitive analysis Algorithm Optimization problem Job shop scheduling
16	Locality in Networks Jukka Suomela Helsinki Institute for Information Technology HIIT Department of Computer Science, University of Helsinki Foundations of Network Science Workshop Riga, 7 July 2013 Add to Reading List Source URL: users.ics.aalto.fi Language: English - Date: 2013-12-09 16:38:32 Graph theory Mathematics Combinatorial optimization Matching
17	Higher-Dimensional Category Theory The architecture of mathematics Eugenia Cheng November 2000 Add to Reading List Source URL: cat.boffosocko.com Language: English - Date: 2015-06-01 01:56:30 Mathematics Academia Physics Category theory Theory Conceptual system Dimension Mathematical logic Mathematical analysis Algebra Emmy Noether Foundations of mathematics
18	What Predicts Postsecondary Success in Science, Technology, Engineering, and Math for Hispanic Students? Exploring the Foundations of the Future STEM Workforce: K–12 Indicators of Add to Reading List Source URL: relsouthwest.sedl.org Language: English - Date: 2016-04-28 12:13:51 Education Science and technology Engineering education Science education Academia Education policy Experiential learning Mathematics education Science technology engineering and mathematics ACT Women in STEM fields Academy for the Arts Science and Technology
19	Jeremy Avigad PERSONAL DATA Born January 9, 1968, New York, N.Y. Citizenship: USA. ADDRESS Department of Philosophy Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-08-20 23:21:44 Logic Mathematics Philosophy Logic in computer science Automated theorem proving Formal sciences Formal methods Mathematical logic Proof theory Automated reasoning Formal epistemology Foundations of mathematics
20	Introduction Descriptive Set Theory in SOA Collapsing a model of ZFC Sharps # Collapsing a model of ZFC Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-08-07 07:54:13 Mathematics Mathematical logic Logic Foundations of mathematics Z notation ZermeloFraenkel set theory Determinacy Set theory Second-order arithmetic Constructible universe Model theory Descriptive set theory

UPDATE